Operator approach to values of stochastic games with varying stage duration

We study the links between the values of stochastic games with varying stage duration h, the corresponding Shapley operators T and Th = hT+ (1− h)Id and the solution of the evolution equation ḟt = (T − Id)ft. Considering general non expansive maps we establish two kinds of results, under both the discounted or the finite length framework, that apply to the class of “exact” stochastic games. First, for a fixed length or discount factor, the value converges as the stage duration go to 0. Second, the asymptotic behavior of the value as the length goes to infinity, or as the discount factor goes to 0, does not depend on the stage duration. In addition, these properties imply the existence of the value of the finite length or discounted continuous time game (associated to a continuous time jointly controlled Markov process), as the limit of the value of any discretization with vanishing mesh.